Here " rational " means that it is a purely transcendental extension of, generated by an algebraically independent set.
2.
For defining the separability of a transcendental extension, it is natural to use the fact that every field extension is an algebraic extension of a purely transcendental extension.